Diagnosability of Hybrid Systems: Analysis and Verification Cast in Des Framework
نویسندگان
چکیده
The diagnosability analysis proposed for Discrete Event Systems (DES) can be extended to Hybrid Systems (HS) which are systems with combined discrete and continuous behavior. In this paper we propose an approach based on the combination of the diagnosability of the underlying DES and the distinguishability of the continuous modes of the HS. The main idea is to build an observer of the underlying DES enriched with new events associated to the distinguishability of the continuous variables. We also introduce the definition of diagnosability of HS and a method to verify if a HS is diagnosable using the hybrid diagnoser. Keywords— Fault diagnosis, Hybrid system, Automaton, Discrete event systems, Multimode System.
منابع مشابه
Hybrid Systems Diagnosability by Abstracting Faulty Continuous Dynamics
On-line model based reconfiguration is generally used to improve the ability of a system to tolerate faults. Recovery after fault occurrence relies on allowing the system to proceed with its mission from a new known nominal state. In this paper, we consider on-line reconfiguration from a novel point of view, having in mind to use reconfiguration actions to disambiguate the tracked estimated sys...
متن کاملComparing diagnosability in Continuous and Discrete-Event Systems
This paper is concerned with diagnosability analysis, which proves a requisite for several tasks during the system’s life cycle. The Model-Based Diagnosis (MBD) community has developed specific approaches for Continuous Systems (CS) and for Discrete Event Systems (DES) in two distinct and parallel tracks. In this paper, the correspondences between the concepts used in CS and DES approaches are ...
متن کاملLimited-Time Lookahead Diagnosability of Rectangular Hybrid Automata
This paper investigates the diagnosability of Rectangular Hybrid Automata used for modeling a class of hybrid systems. First, a generalized definition of Limited-Time Lookahead diagnosability of timed languages, for multiple failure modes, is proposed. Then, we provide a systematic approach, for checking the LTLa diagnosability of systems modeled with Rectangular Hybrid Automata, and verifying ...
متن کاملCoupling Continuous and Discrete Event System Techniques for Hybrid System Diagnosability Analysis
In this paper we propose a hybrid system modeling framework aimed at analyzing diagnosability. In this framework, the hybrid system is seen as the composition of an underlying discrete event and an underlying continuous systems. Diagnosability of these two underlying systems are fully analyzed and new results are provided for the underlying continuous system (called the multimode system). Based...
متن کاملDistributed Diagnosability Analysis with Petri Nets
We propose a framework to distributed diagnosability analysis of concurrent systems modeled with Petri nets as a collection of components synchronizing on common observable transitions, where faults can occur in several components. The diagnosability analysis of the entire system is done in parallel by verifying the interaction of each component with the fault free versions of the other compone...
متن کامل